structure Atoms' : ATOMS' =
struct
  structure Id = Id
  structure Intl = Intl
  structure Label = Id
end

functor Atoms (S : ATOMS') : ATOMS =
struct
  open S
  
  structure Atoms = S
  
  structure Id = Id
  structure Intl = Intl
  structure Label = Id
end

structure Atoms = Atoms (structure Id = Id
                         structure Intl = Intl
                         structure Label = Id)
